x86/monitor: add masking support for write_ctrlreg events
authorPetre Pircalabu <ppircalabu@bitdefender.com>
Tue, 20 Jun 2017 15:13:20 +0000 (17:13 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 20 Jun 2017 15:13:20 +0000 (17:13 +0200)
commit59aad28cfac09640e2272f1e87951406233c3192
tree348a7ba15362a2be31ec54fba5ca31b732a439e2
parent4c09689153c32a61ebf547391caecdfa55d1ae8b
x86/monitor: add masking support for write_ctrlreg events

Add support for filtering out the write_ctrlreg monitor events if they
are generated only by changing certains bits.
A new parameter (bitmask) was added to the xc_monitor_write_ctrlreg
function in order to mask the event generation if the changed bits are
set.

Signed-off-by: Petre Pircalabu <ppircalabu@bitdefender.com>
Acked-by: Tamas K Lengyel <tamas@tklengyel.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
tools/libxc/include/xenctrl.h
tools/libxc/xc_monitor.c
xen/arch/x86/hvm/monitor.c
xen/arch/x86/monitor.c
xen/include/asm-x86/domain.h
xen/include/public/domctl.h